Add documentation of annotations