Fix bizzare bug in travis