Debug information (manually added).