bugfix: OpenDoc was using the new docnum, without the dot at the end. #79

Closed marco-svitol closed 9 months ago