some minor header changes