Documentation Help error for command LOG

[dcantor]

Help file for V13:

LOG
...
Command Log
...id is the process ID in hexadecimal format, ...

In fact, the ID is shown as a decimal number.