[ Daniel adds 2009-02-14: ]

The proposal given in the paper N2829 would automatically resolve this issue.