ui: Fix coding style for #1536