report 1807: editorial nit-picking in all performance changes and comparison sections.