[Core] Erratum 7 fixed

I fixed http://www.w3.org/2005/rules/wiki/Errata#Proposed_Erratum_7 plus
something nearby as documented there (I propose to use '''Corrected: ...'''
or, in cases like mine, '''Corrected+: ...''' in the wiki's Errata page).

-- Harold

Received on Wednesday, 25 July 2012 14:42:26 UTC