Work around parse error caused by #14240.