Here and elsewhere, we need to fill in all the type fields