Typo in fcmp printing (icmp was printed).