Is this needed anywhere? Did I overlook something?