fixed some typing errors