Fixing some small errors with type translation.