fix annotation to not lie