minor debugging change