Fix accidental change of github email