Google fixes major Gmail bug seven hours after exploit details go public