add missing type specs