minor UI polish