small nitpick change