Ref #93: fix indentation