Just for testing: this should fail on Travis CI.