LBG Bug in Allg Def