Fix a reverted line, spotted by <span class="gD">Frédéric Delanoy.</span>