Found the bug - it was me. Looks like I entered $7000 as his contribution somewhere earlier, and then the 1099-R listed 7500, which accounts for the $500 difference. Sorry! Not sure how to delete my post.
