Fixed bad display in tools menu.