Revert "silenced yet another 'unused' warning"

This reverts commit 0a618d811ae50137a083837eaea272b3b70adac8.