Added description of fix to issue #25.