More autoformat shenanigans.