thin.correct-of-thick → thin.correct-of-thick