Typos, now converges