Improvements to bash completion