Fix problem with pattern match to record.
Merge pull request #13 from jdeisenberg/master

Fix problem with pattern match to record.