Extension script error

Hi,
I think there is a bug in extensions SQL window eg. for intarray extension,
generated script looks like this:
-- Extension: intarray

-- DROP EXTENSION intarray;

CREATE EXTENSION intarray
SCHEMA public
VERSION 1.0;
ALTER EXTENSION intarray
OWNER TO postgres;

But should be:
-- Extension: intarray

-- DROP EXTENSION intarray;

CREATE EXTENSION intarray
SCHEMA public
VERSION "1.0";
ALTER EXTENSION intarray
OWNER TO postgres;

I mean, there should be quotation around version number. When You create
extension, script is generated properly.
pgAdmin 1.14.1 Windows 7 32 bit.

Regards,
Bartek