fixed an error in the type