Corrected a small error in previous commit