Synopsis: Correction to PR ports/51249 State-Changed-From-To: open->closed State-Changed-By: arved State-Changed-When: Thu Apr 24 17:31:45 PDT 2003 State-Changed-Why: A fix was committed, thanks for your report. http://www.freebsd.org/cgi/query-pr.cgi?pr=51250