another debug printf I forgot earlier