Revise docs for correctness