removed obsolete option location pointer from boolean option record