#49: disable rule 8457