Use symbols correctly in options