fix the syntax

This commit is contained in:
Sylvestre Ledru 2017-09-18 20:13:13 +00:00
parent 19e475ab57
commit 78658c0cd0