more restyle, and a verbose setting