Version 0.9.2: verbose output option