Properly handle integer menu status constant in restful_json_output()

#69