Hotfix: forgotten casting for verbose option