Get rid of confusing @property stuff in TargetWithSources.
Small fixes in doc.py.