Pinky passes the test suite!

Fix a spec misunderstanding of section 3.2.6