Update: debugging done