Fix mismatch between mini_core_hello_world.rs in this repo and the rust repo #1385
Description
The subtree syncs should keep them in sync, but it seems at some point they got out of sync. The difference is formatting only, so not that much of an issue, but it should still be fixed.