a minor optimization