Merge pull request #2689 from WalterBright/fix11280

fix Issue 11280 - [REG 2.064] Symbol missing although it should be there