commands for Travis corrected