added quiet option: