Is this used later on? `!empty($user_ids)` has the same result before and after this line.