Ooptions and rdlint spec, bug fixes