Revert "Important correction of mistake"

This reverts commit 1590837a1886eb86cf5c6ffd1b1e41fcc8783697.