fix annotation syntax