Minor bug in AGMExecutive