ex-2.84: Fix type