Cs fixes

This has been forgotten.