Fix two instances of wrong indentation.

This commit is contained in:
Georg Brandl 2016-01-18 07:53:59 +01:00
parent 613065b60d
commit 5c60ea3fa1