That’s because a dot terminating pin label No.. Pin labels are not escaped anyhow currently. So, I suggest to rename No. → No
That’s because a dot terminating pin label No.. Pin labels are not escaped anyhow currently. So, I suggest to rename No. → No