Testing a fix in topdoc