auto-indent: be smarter about indent in {|} position.