minor annotations