Fixed symbol list so that auto-generated option symbols
are included in URL