Replaced all tab characters in this file by sequences of white-spaces.