minor fix to verbose message printing