Syncing with Linux workspace. Formatting cleaned up.