…
Minor type fixes