Some fixes in bashrc