Done with debugging