I've figured out where the $15,925 came from. It's the portion of my contribution that exceeds 60% of my AGI.
