Fixing indents

Github editor is not very nice about indents.