Measure Filter Widget: little bug fix