I think this deviation from CLtL is intensional, because KCL assumes that inputs from the user always end with a newline. -- Masami