Is lack of array index usage intented here? The other two hunks are using `$users[$userId]`.