yes, and I think scalariform indentation will be wrong if placing it above the case