Oops--I just reread the commit comment. My bad. Pretend I never wrote either this or the preceding comment.