Summary of changes: 1650126... Hopefully address bug #708721. (*) e19ada7... Merge branch 'master' into f14 (*) This commit already existed in another branch; no separate mail sent