I also noticed a small problem with [@Skyswimsky]'s CS.