Re #10708 Minor comments