CS: space after //