This was just pattern-matching on my part. I'll remove it.