ADDED: some improved debugging info