CS: we use one space around `.` in concatenations