Formatting
Fix some typoes for the code migration