Respect old conventions. (Replace spaces by tabs)