re #959: debugging