Fix Travis

This happened during the merge, and I'm not totally sure why this works it's needed? It works on ```master```, and it works on my workstation, and it broke in the merge from ```master``` to ```super_duper```? So I have a feeling this might be spurious in some cases, but seems to make it work.