Formatting fixes in manipulator.py