Oops, fix bug in previous commit.