Fixing typing errors