Fixing: more Travis stuff

notice how I'm carefully avoiding the word "final" or "last" in these headers