Fix strange indentation error from Travis CI