Fix indentation from TS-1728