About a small problem in the RDF Semantics document

Inside the latest version of RDF Semantics document, in Sec.4.4 RDFS Entailment, there is a line says:

 

Since every rdfs-interpretation is an rdf-interpretation, if S rdfs-entails E then it rdf-entails E;

 

I think this line should be:

 

Since every rdfs-interpretation is an rdf-interpretation, if S rdf-entails E then it rdfs-entails E;

 

I don't know if this is a known problem or not.  Thanks.

 

 

Robert Lu