fix definitions re U||Fin|| --- it's already a 1-type