formatting and debug statements