fix formatting issue in travis config file, issue #115