put a couple debugging lines in