Fixing documentation on some Doc.getXxx() functions