a little debugging code