Trivial fix on topdoc.