Small tweak to force Travis CI to rebuild