Put some explanation into AGT_Bug_8.txt