b: type fixes