This header is marked public. Does it need to be? Or is it just for internal use?