doc: Tweak recent change.