Fix error introduced by my previous commit.