modified source code for textual output to comply with VERBOSE macro (for debugging)