Fix return from debugging