#715: #696: editorial comment add

opened by thuchacz