Minor edit to test an issue with Travis CI