Re #10532 Minor comments