Sir Martin is showing up as a cost 5 card from the Supply

What steps will reproduce the problem?
1. Choose a set with Knights
2. Go through that pile enough such that Sir Martin is the top card.

What is the expected output? What do you see instead?
When Sir Martin is the top card of the Knight pile, it's cost is incorrectly 
listed as $5.  Furthermore, this is not just a "display glitch", as if you try 
to buy him at $4, you won't be able to.

Even though all the other Knights cost $5, Sir Martin should only cost $4.  
This is indeed the exception, and this is even mentioned in the rulebook.

What version of the product are you using? On what operating system?
v4.01;  os 2.3.6;  Samsung Galaxy s2

Please provide any additional information below.
Once Sir Martin appears in your hand, he's listed at correct cost of $4.

Original issue reported on code.google.com by aya...@gmail.com on 17 Nov 2012 at 11:39

ll2585 / androminion

Sir Martin is showing up as a cost 5 card from the Supply #507