Comment # 4 on bug 1230262 from Guillaume GARDET

Upstream bug report assigned to Richard Sandiford (from arm) to fix it.