Oops, typo accidentally introduced in previous commit.