correct some syntax