Revised idock3.tex