That'd be correct. See also the top comment in that thread that (evidently after I originally read that thread) also explained exactly this, and a sibling comment in this thread tree that also did so (more than two hours after I posted my original comment, meaning I was unable to amend or delete it).