Fix Juvia formatting for the oct2 theme