Minor edits: commenting out some printf() statements