Ok, now I got it. I was just wondering why it wasn't used here...