adding fact mentioned in pull request #1551.