I think the update-menus command might fix that. It's worth a shot anyways.