fix ReST formatting problem, and wording tweaks