Correct the comment; this applies to fcmp too.