Fix a bug produced by last comment