added users field in faultdef (closes #38)