Slightly amend .bashrc