clean up formatting issue

printVerbosely was called with a format from an untrusted
source; rather printVerbosely("%s", x) than printVerbosely(x).