Re #1352 Ugly debug message.