Fix DocCheck.jl

@jiahao these fixes were simple enough, but I don't see any undocumented functions, which makes me worry.  Is that actually correct?