use the right name for travis...