Fix the post-check for exercise 2.3