Fix incorrect statement about ok()

Fixes #17676.