BUG: verbose option