Tiny error fixes in new ideas (still untested).