Fixed github issue #72.