Revert "Travis asked me to do this"

This reverts commit a2cac74677b926b36454ad41ad86d7fb076e0afa.
Now I got what Travis wants from me.