Revert "fix ex9.40"

This reverts commit f3701e318e53705887b973afd2e39305182d1255.