Fix Travis build (#3)