Shouldn't this header be defined?