void-kampff pattern matching is failing me here