check behind on the turn. this is 25nl, he has an ace, and never bets.

but seriously. no, betting out is correct, checking behind the river is correct.