Removed catch-all in pattern matching