corrected documentation of setOption()