IIRC it was intended because this is no public header.