Pushing film is rating it faster than the manufacturers speed(ISO) When you change the rating, 400->800, technically it's no longer ISO but becomes YOUR EI(exposure Index). You're giving the film less exposure. In this case by 50%. Development needs to be compensated with longer times.