Doc: fix error in previous commit