Minor update on dtrt-indent usage with Semantic