minor documentation error