Fix lint error in FacetNormal