Fix some formatting, not actually needed but oh well