Fix Travis issue