give up on auto-header for now