Fixed some typos.
Automatically increase working_prec if needed.