Updated machado and program explorer.