You are correct. I read that too quickly and my brain stopped at 10K. If her other income exceeded 40K, then there should be a 15% capital gains on the 10K.
