Fixed code formatting in hanoi.