minor fixes after murkmire release

Author git <vivec@telvanni.eu>
Author date 2018-10-22 15:48:37
Author local date 2018-10-22 17:48:37 +0200
Committer git <vivec@telvanni.eu>
Committer date 2018-10-22 15:48:37
Committer local date 2018-10-22 17:48:37 +0200
Commit e5995ce518afccce24b9a7da218582c51c5a6dd2
Tree 54a0898e3948fa470175353dc9117c905e90d3a9
Parent e499d29d71b464a2946abcc555eb93f826dd4be1
minor fixes after murkmire release