Further formatting changes

Essentially a continuation of the previous commit, this commit tabs a line which should have been tabbed before.