remove spurious function arguments
unmarked errata for 39dfbd8
Merge pull request #509 from mikeshulman/lemma2.1.2

Lemma2.1.2