Renaming hanoi spec