Fixed a few typing errors