Ups, forgot a bit of debugging code