Do 401(k)s Need Simpler Menus?