Updating: minorly improving pattern matching compilation.