adding more debug info to help nail the Alon bug