fix josephus