Fix a couple of binder thinkos.