Added some annotations to CollectionProxy