Fixes #274: PHP Error when trying to manage menu