minor UI enhancement