Get rid of unneeded @function annotations