I've never had extra miles credited, but if there was a small mistake in my favor, I'd probably not bother with it. This is because I've not been credited for all miles due me for various promotions, but find it's not worth the time and energy spent trying to fix a mistake of 1-2K miles each time.

If it were a significant amount, I'd definitely tell the airline, whether it was in my favor or theirs.