fix bug #3925 Table sorting in navigation panel is case-sensitive