when is len(header) not 0?