I guess it could be. If a newline appears, it's going to be at the end. On the other hand, saying that it should not end with `\n` sounds like saying it's okay to have newlines somewhere inside the string. Do you want me to change it?