Implemented --verbose (fixes #17).