Some trivial fixes in .bashrc