Fix formatting issues mostly introduced in recent commits. (This was possibly missed due to GitHub not having formatting checks at the time, but it's unclear.)
Fix formatting issues mostly introduced in recent commits. (This was possibly missed due to GitHub not having formatting checks at the time, but it's unclear.)