Fix some trivial code formatting