Fixed indentation mistake.

This commit is contained in:
Tommaso Thea Cioni 2018-02-02 16:54:24 +01:00
commit dbc46f7dd0