Re #420: Remove debugging message.