fix the indentation (trivial issue)