minor changes

This commit is contained in:
Jonas Chromik 2016-03-14 12:50:39 +01:00
parent dd7e74950d
commit 5663410c45