Small /bin/bash fix