Sanity fix

lowercasedonkeyrequested to merge
lowercasedonkey/fc-pregmod:small-sanity-check-fix into pregmod-master

Utterly meaningless change in commented out code that fixes one report in sanity check.

Perfection.

Merge request reports