SAL annotation update