tweaks to make REST API play nice with Swagger