re #9132 acceptable change, commenting improved