Debug messages for davey