Fix isdeprecated() call in doc/DocCheck.jl