bashrc; oops, mistake in the '#' prompt