Some fixes for bash.py