debugging statements and documentation