Revert "Another bad commit."

This reverts commit 085a5906a7f8345dc00e74b9a9e424d274b77def.