added verbose option for debugging