Unreviewed, trivial error in previous commit.