• Fix copy/paste mistake

    SimonSapin committed Jul 2, 2018