Minor insignificant nitpick