Version 1126 was commited by steve on 2009-08-09 15:19:40 +0100 (Sun, 09 Aug 2009) Fix unvalued options that are read from a file. I had kind of fixed that before, but not in the case where it was the last option.