Minor header fix.