more concise annotations