Fix another minor FPU issue.