Fix #27: Another DEBUG message.