Add missing ENDDOCUMENT();

Fix bug 2757