Fix for github issue #125