(refs #33)Small fix for pull request #45.