fix shell-things.bash