I don't recall that conversation - maybe it was someone else. AFAIK tabs are ok; mixed tabs and spaces are not (and there were a few here). Anyway, I've changed them back to tabs.