• Fix a warning.

    SimonSapin committed Feb 14, 2017