fix documentation regarding user definitions