fix a bug in indentation