"Redact" and "Highlight text" in Filter criteria Annotation options filter both types

While previewing a document with several types of annotations, including some of type Redact and *Highlight text", the user navigates to the Filter options.
If the user chooses either "Redact" or "Highlight text" options, annotations of both types will appear, instead of just one of the expected types.