Removes an old integer conversion left over and moves the annotation.