VERSION 0.6.13: small bug fix, UI work

This is just a small bug fix and some UI work. Version bumps will be
coming faster too to test auto-update.