Trying to make TravisCI happy. (Second try)