a bit of debugging