added missing public headers