Small improvements: better key binding; temporary settings