tiny documentation error correction