Revert "minor addendum"

This reverts commit 6ffb00fceeb5df795a3325a5957b3c5442ab880a.