Fix three code formatting issues