[bashrc_additions] fix