Compilation fix for TC 8.0.3.