Fix an apparently-harmless error spotted by Ben Rudiak-Gould: