Fix ManagerInterface naming issue #25.