Missed a few places in updating the documentation