Fix one more tab-vs-space issue!