Kill bad commit

This reverts commit e768083862a5b342c0838ed05a1b8b1fff9b6eb0.