Small changes.

This commit is contained in:
2017-02-08 16:51:52 +01:00
parent 3c0ac96a69
commit 2e7d5b0214