Another nitpick