small changes are added to file 'HanoiTowers'