Fix some manual formatting.