a bit of UI fine-tuning before release of v0.5.6