josephus update