Fixed some issues with initialize-lazy.tex