Fix a whitespace hiccup left over from removing some commented-out code.