Fixed up Travis CI a bit.