Fix skip_travis decorator