Removed  debug printing of options.