Ja, PHP baut deinen Quellcode selbständig um, um auch ja die Session ID weiterzugeben. Dass dadurch invalides HTML entstehen kann, ist schade; durch eine Einstellung in der php.ini kann man dieses Verhalten aber steuern.
So long,
Martin
Danke für den Hinweis.