Backend: Tweak a few things, mostly formatting