Dynamic menu is correctly generated (issue #75).