Fix on Travis