bug in readOptions() fixed