No ticket: fix indentation. Close gh-1224.