Corrections to bashrc and bash/prompt