Temporary bugfix with explanation of bug in menu.lua