#773: #770: various editorial comment issues

opened by thuchacz