Add missing annotations