another minor optimization