don't sort options (fixes #4)