Doc: Fix typo in previous commit.