Why four-space indents in this file?