minor header improvement