yet another minor tweak to how to handle it if this is the <body> element