Dummy test to make Travis CI happy