Fix typo in gcc* formulae.