removed debugging info, and fixed a small glitch