Another styling fix [#84207714]