proper annotation