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?
So much for test coverage. :P  You're right.