Bug in CREATE USER script - Mailing list pgadmin-hackers

Create script for user have a serious bug:

CREATE USER test
  WITH SYSID 101
  PASSWORD ENCRYPTED md5c104555d849cf47bd82febf072dd479c
  NOCREATEDB NOCREATEUSER;

and it should be :

CREATE USER test
  WITH SYSID 101
  ENCRYPTED PASSWORD 'md5c104555d849cf47bd82febf072dd479c'
  NOCREATEDB NOCREATEUSER;

Please change the order of  ENCRYPTED and PASSWORD keywords and quote the
password string, or should I do the patch ?
Regards !