Fix minor documentation error.