Fix a bug from the previous commit (a1e49e4c)