Fix a bug of the previous commit
fixing