handle binder at toplevel case