If $users is empty, we'd return an empty array by returning $users anyways...