More type-checking.