Fix Travis CI specs