Fix compiler error introduced with 66610543995246cc5d552c83726aed0fbd2c12f2.