Fix bug in mark_idle_users