Thanks to zhenze, Fix 11.4 example.