put back some declarations