Trivial bugfix to last commit; more verbose output