A couple extra debug statements…