How to change this recipe?

That's exactly right, when you need to make a half-batch, just divide everything in half. The cooking time should be the same, but watch it carefully just in case.