correct type of />/ in comment