minor annotations added