fix minor bug in ProcessOptions entry