Whitespace after </body> (detailed review of parsing algorithm)

From: Simon Pieters <simonp@opera.com> Date: Wed, 22 Aug 2007 15:45:25 +0200 To: public-html <public-html@w3.org> Message-ID: <op.txgq5zumidj3kv@hp-a0a83fcd39d2.palace.opera.no> · This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:40:00 GMT

(This is part of my detailed review of the parsing algorithm.)

How should the following be parsed?:

    <body></body> </html>

As I read the spec, the space is added to the body element, because that  
is still the current node even in the "after body" insertion mode. Is this  
a correct reading of the spec? If so, is it intentional?

-- 
Simon Pieters
Opera Software