minor additions to annotation