Fix small documentation error