Additional XML documentation (still not yet complete)