minor fixes, hopefully correct bash/pip-grep syntax now