issue #818: Foxx: foxx-manager spelling error in shell