Small bugfix in comments syntax