Small doc change
Added user-defined definitions