Fix Travis error