minor touch up of travis script