These annotations are no longer needed.