Small fixes to travis