Put back missing backslash in comment border