Correct definition of SCC$lift