a few small cleanups to comments