Fix Travis-CI breaking