Lec 2: fix small things in dot.bashrc file