Formatting

I had these changes locally before I started working, and forgot about them, so they'll be the base for my work on the inline assembly.