Fix a 8051 test