fix careless documentation error