minor amendments in readOptions()