Minor change of inclusion of update to .bashrc