@Maggie: could you please check the code of update-alternatives and send a patch fixing this to upstream debian developers?