fixing indentation broken by replacing tabs