annotations correctly assigned