minor: note on debugging