rudimentary fix of issue #29.