Make the implicit feedback tex compliant to lacheck