little fixes found from the attempts at FubuDocs export