tsearch2 headline function fails to parse integer arguments

SELECT headline('some text to search',to_tsquery('text'),'StartSel=<b>, 
StopSel=</b>, ShortWord=3')

On 8.0beta1 through 8.0rc3 this query fails with
ERROR: invalid input syntax for integer: "3"

The same is reported when using any of the argument in the option string 
that take integers (MinWords and MaxWords)
e.g.

SELECT headline('some text to search',to_tsquery('text'),'StartSel=<b>, 
StopSel=</b>, MaxWords=35, MinWords=15, ShortWord=3');

ERROR:  invalid input syntax for integer: "35"

Using the bundled tsearch2 from PostgreSQL 7.4.3 the headline function works 
as expected, and the above examples return without error.

There also seems to be a problem with the bug submission form on the 
website - the wwwmaster.postgresql.org server that handles the POST data 
doesn't respond - it appears to be down?