Fixes #34: Rename controllers to Ctrl.