more precise annotations