Note that issue #1 is resolved.