Commit ddad901c0ddd107757353a0ffe097d3af7118ca1

Sylvain 2022-11-17T10:43:45

Remove unneeded semicolon