Header fix for reals.