Indentation error; fixes #867