Format code

(Escape extra tabs and correct some comments)