really trivial changes to indentation and stuff