minor improvements from Andrea
authorGood Guy <good1.2guy@gmail.com>
Sat, 12 Feb 2022 18:32:32 +0000 (11:32 -0700)
committerGood Guy <good1.2guy@gmail.com>
Sat, 12 Feb 2022 18:32:32 +0000 (11:32 -0700)

No differences found