Fix up type for Principal