Some debugging statements.