Mention fix of issue #67.