[dictum]

Oh, reading it again, I agree with you. I had read your comment as if you were translating the original comment, but it's actually replacing the original terms to make the phrase more accurate.