Fix Travis warning