Fix weird comment marker

I dunno why I wrote that.