It is indeed broken, dating to when I inlined that set of options to simplify things. The fix should be the obvious one, but that isn't working yet either, so more digging needed. -- Scott