minore comment edit