Fix ManagerInterface naming issue #75.