Add missing public header