introduce case-insensitive sorting