add some debugging messages: quite noisy