Away goals don't count double technically, though in practice you can look at it like that. The rule states that the team with the most away goals goes through in the event of a tie. I once saw it referred to on Fox Soccer Report as adding half a point, which I like. So you could say the score is 3.5 - 1.