Update with 01f0c3a from Travis CI