fixing let in gtags annotation