Mistype in the documentation