Update annotations.defs