Reformatting indentation

Fixes indentation issues in #719; no semantic changes.