Fix Travis breakage