Extra debugging info for SERVER-9231