(another) tiny documentation error correction