fixes #69: Properly handle integer menu status constant in restful_json_output().