type fixes (xcode51-beta4)