Fix Ramsey discounting in SCC