I don't think this should be in the header, it's only used in one place.