Minor CS fix (related to #2231).