tutorial/HelloBakge: Format tweak