Fix formatting bug raised by the menu, closes #1.