Abstract: Fix: some option info may be == None

Signed-off-by: Jerome Flesch <jflesch@gmail.com>