minor debugging of Get