That is what I expected, but back to original question then, it should not have shown that he had excess Roth IRA contributions, because the military pension amount should have been subtracted from AGI to calculate MAGI for Roth IRA contributions. This may be fixed now, but it was clearly an issue in the original post.
