moving over the rest of the default {document} environment to avoid nasty Babel bug