Fix Travis problem