Minor fix in bashrc_commons.