• Fix some warnings

    SimonSapin committed Dec 28, 2018