Minor Google-specific change.