home/.bashrc: cosmetic change :P