fix up bash snippet