I told the truth today
Revert "I made a type error today"

This reverts commit 9601df065cff053963175666968170c06ff59c38.