Added extra debug lines and fixed an old one (missing ;)