Got rid of this useless counter for menu declaration