Fix missing import in arbitrary user list module