small nitpick fix