Add debugging details

Work for #17.