Fix a stupid too-fast-commiting mistake