Fix minor bug in previous commit