Minor fix for bashrc extras