More typechecking.