A minor optimization