STYLE: Replace all tabs by double spaces