Fix sometimes failing budget cuke

See the diff for a description of the problem.