pushing Michael’s fixes; fixing an anchor target; minor wording tweaks