Updating: fixing a bug in pattern matching compilation.