[glossary] lost a word in refinement type?

Is it supposed to be filled with a word in here?
First sentence of https://docs.scala-lang.org/glossary/index.html#refinement-type
```
- A type formed by supplying a base type a number of members inside curly braces. 
+ A type formed by supplying a base type with a number of members inside curly braces. 
```