Fix yet another travis error