remove superfluous :idris from command