Revert "mani"

This reverts commit 77f9242f5d9b553ad09b70189ef7c15d754fd58f.