fix some typing errors