fix typing error: 40000 -> 4000