Pattern matching with Option