fix error in the documentation