Confusion arised from scope changing of the actual PR so that it was no longer clear whether the description matched the resulting merged commit.  Thanks both for your clarification.