Compilation fix for 1f6184.