Some debugging messages.