fixes #128: avoid generating <!--