Updated documentation
This is included in shared.h
Don't output unless we have DEBUG_NOISY defined