Revert "Another bad commit"

This reverts commit 9fe030ffe9eea0b618f36524b94bc04a64ae264a.