Minor commentation fixes