Fix a minor bug in the previous commit