Fix a couple of comments/debugging output