Fixing type assertion system.