Trivial change again (to relaunch travis build)