minor modifications for header