Testing whether Travis CI works