minor ui fix for #1232