You can argue that it's nitpicking & it probably wasn't worth mentioning.