Fix verbose mode (was broken in https://github.com/julianhyde/sqlline/commit/4b07b71f199773f26dd7e77d465bbfb7ffd49cc3).