Tweak documentation about annotation attributes.