#3586: add debugging information to help trace the issue