Style change: "an empty list" -> "the empty list"
Authored by: david_costanzo 2018-12-30
Parent: [r4706]
Child: [r4708]