Trivial fix on topdoc-template.