Revert "fix ex9.40"

This reverts commit b7783bebd6c0a60175abacacf5c688f762392739.