Corrected some typing errors