Dummy pull request for proper Travis CI restart of #250