Fixed screwup in previous commit.