Fix incorrect SAL annotation.