Fix a build problem introduced by r42230.
1 file changed