Silence a new FlexeLint 9L false positive