fix fetch_decode_register names