fix a misprint in the documentation