doc tag simplification (in accordance with JSPP changes)