Style fixes

See line notes!
This was just a style fix for something unrelated that should've been here earlier.