I've not had a client with both exclusion, and credit, so I am not sure ProSeries is wrong. maybe someone else will jump in. I did notice when doing the 1116 and the exclusion to be sure and fill out the 2255 allocation worksheet