minor fixes

This commit is contained in:
Stéphane L 2019-01-01 18:08:47 +01:00
parent 2d973e0b90
commit 881de01073