Fix for bug 841515: document console logging levels