Minor tidy up of xml comment thingies