RFC2670_DOCS_IF.pm: minor bugfix