fix misnamed travis directive