Updated idock.tex