A few minor documentation and comment changes