A few small changes to comments