Remove old printf-debugging that snuck in there somehow