review comment: "petty" -> minor; "may be" -> "is".