Minor type fixes in comments