fixup! 7667e40b964c3e37b5ac58def436067ef91d4c5f
improve coverage: remove dead code