Shouldn't be that huge mistake while he may still even CBet with overcards and sometimes even draws.

Only question from my side is if we should donk the turn and maybe even sometimes make fold a hand like JJ and get value from overcards/draws. And which sometimes would even be my line. But as played seems to be fine as well.