Small fix, as spotted by sjn and others.