A few minor comment fixups