correct some typing errors