Fix pointer type translation