remove a bit of debugging code