xml documentation for Contracts