It's a direct quote from the comment I replied to. They've since edited their post.
Yes sorry, I typed it out from memory. I didn't think the exact wording would be relevant, when that was not the point I was trying to make. I have corrected it to the actual quote.