Correction correction

My apologies—I was in a rush and accidentally overwrote the correction in f85e4e63 in one of my last commits.