Fix some errors when webwork_parser is used in rest_server