Update with 772c8a9 from Travis CI