Minor edit in indentation