Fixed error in pattern.

- Flag by typechecker (with misleading message)
- Found by @Anastassija