Bugfix: this was not a real HTML comment