More debugging messages.