Couple minor improvements #1

Merged
neuron303 merged 9 commits from master into master 2019-08-30 19:12:07 +02:00
No description provided.