Use the given annotation to replace mine