minor correction to pull #1543
Merge pull request #1548 from WalterBright/b31

minor correction to pull #1543