Dummy commit to force Travis to rebuild
(The rebuild button doesn't appear, probably because there hasn't been any previous build.)