Proposed additional edits corresponding to C. Guy's recent change (93ac52b).