Correct loading of plugins by dtk.
Minor formatting stuff.