Summary: We show that the Palatini-Cartan-Holst formulation of General Relativity in tetrad variables must be complemented with additional requirements on the fields when boundaries are taken into account for the associated BV theory to induce a compatible BFV theory on the boundary.