some small changes to DoubleElectron