checkdoc improvements.
Minor syntax change.