Revert "1231"

This reverts commit 3a7dd73ac92ed606ce9db5ee03eac1539b5dada5, reversing
changes made to 558bc52432840ea1b2f413438427164288f10350.