some post-header changes and other small things