indent for `case`, I think this is chromium coding style.