Oops. Fixing compilation failure; forgot to commit.