Fixed missing topdoc import.