Fixing a build error, I think.