Temporary logging for #2876