options.c: Proper fix for the read-past-end-of-array
This properly fixes what commit:b3e36dd tried to do.
Authored by: Simon Rettberg 2018-01-10
Committed by: Martin Dummer 2021-09-12
Parent: [536633]
Child: [6d2ff0]