#1261: debugging message.