Fix bug inserted in the last commit