Correct mistake in pattern-matching example