I think it would be a good idea to adopt the convention of leaving a space after the prompt character in example shell sessions.