minor cleanup

This commit is contained in:
Leif Johansson 2018-02-11 23:56:05 +01:00
parent dc17f977c0
commit 9dfe3f8ffc