fixed mis-typed constant in header