Update annotation syntax