[Do not merge] Trying to make Travis happy

This PR is only for testing purposes.