Remove is_integer check for cc5d94

Otherwise, calling this function with a menu name (e.g., main_menu)
instead of id, will fail.

(cherry picked from commit b198f1481b2054d630218df68e01c200d7bdd357)