more on debugging