On the energy level of EL2 in GaAs