Fix a routing-related bug in RestController.  fixes #156