logging to help track down this bug