Bugfix. refs 10925

See also:
https://github.com/euphorie/Euphorie/commit/b84a613877c29ee2323a0c821a3354e44e493c66