Issue #842: Added sorting for products' options.