Fix a build failure I did not notice earlier