fix issue #412
...