small tweak to end of document formatting