minor fix to x87 FPU decoding