Ah missed that. If it's not a reliable requirement for the header it should just be removed. Is there a reason you left it commented originally?