minor fix: "Solution" --> "CSSolution"