semicolon not required on END statement

Hello,

I noticed in plpgsql that a semi colon is not always required after
the END statement. A contrived example:

CREATE sequence foo;
 
CREATE OR REPLACE FUNCTION bar() RETURNS VOID AS '
DECLARE
bar int;
BEGIN
SELECT INTO bar nextval(''foo'');
RETURN;
END
' LANGUAGE plpgsql;

--hussein