Revert "unreferenced formal parameter"

This reverts commit 9a3d7bdf65c458ad7e6dac916352d9b5b9b982d7.