ServiceLoader documentation has malformed Unicode escape

A DESCRIPTION OF THE PROBLEM :
The documentation of java.util.ServiceLoader says:
> The comment character is '#' ('\u0023' NUMBER SIGN);

The Unicode escape here is incorrect, it should be:
> The comment character is '#' ('\u0023' NUMBER SIGN);