Разделитель записей AWK, установленный на пустую строку, не работает

Я пытаюсь написать простой скрипт AWK, который использует пустые строки в качестве разделителя записей. Я воспроизвел на своем ПК пример из руководства GNU AWK Multi-Line Записи. Я копирую код ниже:

# addrs.awk --- simple mailing list program

# Records are separated by blank lines.
# Each line is one field.
BEGIN { RS = "" ; FS = "\n" }

{
      print "Name is:", $1
      print "Address is:", $2
      print "City and State are:", $3
      print ""
}

Вход:

Jane Doe
123 Main Street
Anywhere, SE 12345-6789

John Smith
456 Tree-lined Avenue
Smallville, MW 98765-4321

Файлы создаются в системе UNIX.

Требуемый вывод:

Name is: Jane Doe
Address is: 123 Main Street
City and State are: Anywhere, SE 12345-6789

Name is: John Smith
Address is: 456 Tree-lined Avenue
City and State are: Smallville, MW 98765-4321

Вместо этого я получаю результат, который отличается от ожидаемого. Что я получаю:

Name is: Jane Doe
Address is: 123 Main Street
City and State are: Anywhere, SE 12345-6789

Кто-нибудь знает, почему я получаю неправильный результат? AWK находит только 1 запись вместо 2, знаете почему?