add debug code to make sure we aren't more confused than I think we are