Small correction to typing of patterns.