Maybe, but that is just my speculation, they did the takeoff calculations based on the (logical) assumption that they would take of on the 25 but were told to use 20.
So, they just assumed that they'd be allright taking off on 20?
That is such a stupid theory, it hardly warrants a response.