.bashrc: fixes PS1 bug