Revert "Fix a mistake"

This reverts commit a6900d127904314b4e5e50e8b1b971ae97ba6ac3.