ai, ai ai, formatting which screws up a diff, it should be moved to the right