Problem with service.bat

A customer has commented about an error in service.bat on the following doc page, and another customer has agreed:
http://confluence.atlassian.com/display/DOC/Start+Confluence+automatically+on+Windows+as+a+Service

Quoted from the comment:

in service.bat

"%EXECUTABLE%" //US//%SERVICE_NAME% ++JvmOptions "-Djava.io.tmpdir=%CATALINA_BASE%\temp -XX:MaxPermSize=128m" --JvmMs 128 --JvmMx 256
echo The service '%SERVICE_NAME%' has been installed.

should be replaced by

"%EXECUTABLE%" //US//%SERVICE_NAME% ++JvmOptions "-Djava.io.tmpdir=%CATALINA_BASE%\temp;-XX:MaxPermSize=128m" --JvmMs 128 --JvmMx 256
echo The service '%SERVICE_NAME%' has been installed.

otherwise confluence as a service will start but won't work

The comments are currently here, but will be removed once this issue is fixed:
http://confluence.atlassian.com/display/DOC/Start+Confluence+automatically+on+Windows+as+a+Service

Please investigate — does service.bat need to be fixed?