[FIX] fixed failing TOPPDocumenter due to #721