fix to pull request #54...