Fix sometimes failing budget cuke

See the diff for a description of the problem.

Inreases execution time by a few seconds.