minor: bug in indentation