minor nit-pick