fixing a problem with annotations: they were wrong