Fix visibility of new headers