Another fix for a build-bot reported API mismatch.