Corrections to bashrc