I did see that ahead of time and decided to leave it in and pump him up to a CR15.
Gotcha. I might steal that for when my group gets there since the party size might be 6 at that point. The only thing that concerns me is the crit potential on a 13d6 attack. Yikes!