Fix "4" on 7-segment encoder