A few minor comments