Fixed some typing errors