VERSION 1.1.12: yet another minor fix to managed routes

This version just contains another minor fix to managed routes for
GitHub issue #352.