small update to RESTServer.construct_args